1. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science

2. A Logical Analysis of Relational Program Correctness
پدیدآورنده: Nikouei, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science
